Filling the Gap between OWL 2 QL and QuOnto: ROWLKit

نویسندگان

  • Claudio Corona
  • Marco Ruzzi
  • Domenico Fabio Savo
چکیده

Ontologies are nowadays one of the most prominent formalisms used in the area of Semantic Web for knowledge representation. Several efforts have been made by the W3C in order to define OWL (Web Ontology Language) and by developers in order to develop reasoners able to deal with ontologies defined by means of OWL. Unfortunately, the goals of the working groups for standard languages definition rarely meet the ones of reasoners developers and viceversa. In this paper we present ROWLKit , a query answering system for ontologies compliant with OWL 2 QL, a profile of OWL 2 that is inspired by DL-LiteR, one of the language of the DL-Lite family. In particular we show how to extend QuOnto, a pre-existing reasoner for DL-LiteR in order to implement the features of OWL 2 QL not natively supported by QuOnto thus bridging the gap between the standard language and the system implementation. We show the efficacy of our approach presenting experimental results based on the University Ontology Benchmark.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Graph-Based Ontology Classification in OWL 2 QL

Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods and implementations specifically tailored to OWL...

متن کامل

A Graph-Based Approach for Classifying OWL 2 QL Ontologies

Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods and implementations specifically tailored to OWL...

متن کامل

Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies

In this paper we present the Quonto Inconsistent Data handler (QuID). QuID is a reasoner for OWL 2 QL that is based on the system Quonto and is able to deal with inconsistent ontologies. The central aspect of QuID is that it implements two different, orthogonal strategies for dealing with inconsistency: ABox repairing techniques, based on data manipulation, and consistent query answering techni...

متن کامل

Finite Model Reasoning in DL-Lite

The semantics of OWL-DL and its subclasses are based on the classical semantics of first-order logic, in which the interpretation domain may be an infinite set. This constitutes a serious expressive limitation for such ontology languages, since, in many real application scenarios for the Semantic Web, the domain of interest is actually finite, although the exact cardinality of the domain is unk...

متن کامل

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard

We settle an open question on the complexity of the following problem: given two OWL 2 QL TBoxes and a signature, decide whether these TBoxes return the same answers to any conjunctive query over any data formulated in the given signature. It has been known that the complexity of this problem is between PSpace and ExpTime. Here we show that the problem is ExpTime-complete and, in fact, deciding...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009